perm filename CAL[1,JMC]22 blob
sn#748929 filedate 1984-04-03 generic text, type C, neo UTF8
COMMENT ā VALID 00010 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 1976
C00010 00003 1977
C00024 00004 1978
C00039 00005 1979
C00052 00006 1980
C00068 00007 1981
C00084 00008 1982
C00097 00009 1983
C00135 00010 1984
C00141 ENDMK
Cā;
1976
03-23 2pm Diana Tillinghast
03-24 2pm Suppes registrar
03-25 teach in preliminary meeting chez Finston
03-30 1pm 730 Welch Rd., Echo cardiogram
03-31 computer meeting, Franklin
04-01 Mazda
04-05 11:45 Waltuch
04-07 11:15 Edwards
9:30AM Bill Chester
AA-loc Co. Stevenson, 6pm
04-09 Science Fiction Writers, Ashley Grayson, 714 979-2460
213 885-9047 David Gerrold
04-12 Martin Davis
04-13 9 am, Faculty meeting, Polya 204
CS224 1:15pm tues. 300 Earth Sciences
2:30pm Comprehensive Comm., Polya 204
Hyversen 4pm 493-5000 x5681 VA Hospital
04-20 1:30 tenured faculty
04-22 3pm Debate with Dean Abrahamson. SIPI.
04-27 9 am, Faculty meeting, Polya 204
04-30 Gell-Mann dinner, Amer. Acad. Arts&Sci. CASBS, 6:45
05-03 Libertarians
05-04 Slavic languages oral 2:15, 62M inner quad
05-06 Lawrence Hall of science
05-07 Durand 450, 11am, LOTS
05-08 Panofsky reception
05-15 Reed graduation, wedding reception
05-16 Reed
05-18 III Boston and 19th too
05-20 Thursday SIgplan lisp after 15 years, Jim Warren
05-25 Data base workshp at LBL, also 5-26, see feb.msg
05-28 Kahn 3pm
06-01 1pm Slagle here
Piano mover presentation, Panama & Duane 2:15
3:30 Franklin and Dickens chez Franklin
06-07 evening Las Vegas
06-10 11am Massy
06-14 2:30 Massy
11am Phil Hilts, 202 333-6608
06-17 1pm Baratz
06-22 2pm-3:30 Space war bldg. 10.
06-23 Gloria Guth 3pm here 324-0291
06-24 iii 10am thursday
06-25 11am Shaw, personnel and space
06-28 11:30 Dickens, SLAC
06-29 4pm Lots
07-02 11am Massy LOTS
07-12 2:15 Cartwright orals, Monday Serra House
07-26 Schonhage, 8pm Go
07-27 2pm Finkelstein, Radio Free Europe
08-09 Russell, Carlstrom, Carlson
08-12 Bruce Redke, 4:00, TI Salesman
08-12 6:30 Dinner at Raphael's
08-16 5pm, Miller
08-17 III Technical Committee, L. A.
08-18 III Board
09-08 Chung, 493-2279, micro-processor designer
09-13 3pm Furukawa of SRI and ETL
09-20 11:45, Warren and Albrecht, PCC, 1010 Doyle,Menlo, Warren 851-7075
09-23 2pm Thurs. Huskey
09-24 10am Friday Dick Martin
09-27 9am Monday President's Advisory Committee on CS - agenda meeting
Provost Office, Building 10
09-28 10am Serra. Thomas exam
3pm CSD faculty Polya 204
4pm, Miller
09-30 12:20 Franklin's office, Franklin and Adams
10-01 III
10-04 III, L.A.
10-06 9 am, Massy's office, Massy and Dickens
10-07 thurs 2:15 seminar, 204 polya
10-08 Comprehensive committee, 4:00pm, Polya 204
10-12 11am, Encina 100, Abrams report
2pm Polya 204, Department meeting
LOTS Advisory committee, 4:15pm, probably Durand 450
10-15 Fri 11am, Jan Schnittger, 4287
10-19 Massy 1:30
10-24 Pres. Advisory committee, cocktails 6pm - Rickey's, dinner 7pm, meeting 8pm.
10-25 Pres. Advisory committee, cocktails and dinner 6pm, Faculty club
10-26 9AM,Serra House, report on LOTS, pres. advisory committee
LOTS Advisory committee, 4:15pm, Serra house
11-02 Massy 1:30
11-03 Noon, Department meeting. Report on LOTS by REG, Bio 175
11-04 Lunch at Behavioral center
11-10 III board and Technical Committee, Boston
11-12 10:30 am Todorovich, John Searle 642-3173.
Robert Sasseen, 408-294-2282.
DISPLAY Committee 4:15
11-15 4:00 Vaughn Pratt
11-16 Knuth lunch
Lots Advisory Board 4:15 SCRDT, didn't happen.
11-22 2pm Barbara Partee
11-23 12:15 University computer facilities
LOTS Advisory Bd., 4:15 , SCRDT
11-29 12 noon lunch w/Partee there
11-30 1:30, Faculty meeting, polya 204.
12-03 Paul Siegler, his place
12-06 2pm Ted Nelson, 652-8080, MISSED IT!!
12-06 Davis, two weeks
12-08 Brian Josephson, 11am
12-09 Last class, 2:45 pm design review on cart. room 576 eng., MISSED IT
Lunch at faculty club for reviewers
12-10 10:30 Zadeh
12-13 12 noon lunch w/Partee there
2pm, Sidney Sternberg, 876-9076
12-14 LOTS Advisory Board, 4:15 SCRDT 105.
12-22 2:00pm Massy with REG
12-27 11am Wadler
12-31 Deadline for philosophy colloquium manuscript.
1977
01-04 Tuesday, Faculty meeting 2:30pm polya 204 - MISSED IT!!
01-07 Friday, Philosophy Colloquium, 4:15 Paul Humphreys
01-10 2PM, Louis Marti
01-11 Tuesday, 8:30-10:30, MaryLou Allen, women in science in
engineering, Ass't dir. television network. 73617.
4:15, LOTS Advisory Board, 105 SCRDT
8:30 Loebner
01-13 2PM 956-7070, peter blicher 841-2564
01-17 Channel 7 home terminal.
01-18 Martin Davis
01-19 12:00 Computer facilities committee
01-24 3pm, Steve Schilller 321-2884
01-27 Computer Forum, lunch, gold lounge, faculty club 12:15
Session II, 450 Durand,1:30-3:00
01-29 III, L.A. consulting
01-31 1pm, Pressburger
02-01 Tue. 12noon, CS Faculty brown bag discussion, polya 204
11am, Paul Martin, Dean of Eng. and Applied Science., Harvard
02-02 Wed. 11am, REG at LOTS, 1:30pm, Massy w/Gorin
02-03 Thurs. 4pm Suppes on Mental Qualities,cancelled
02-04 Fri. LOTS Advisory Board, 4:15, SCRDT 105
02-08 Dinner with Davises, Berkeley
02-12 Dinner with Miller, Knuth,...
02-14 CCF, Noon, Polya 152
02-15 Martin Davis, will borrow terminal., Commonwealth Self-sufficiency
02-17 Thurs. 12noon, Faculty club, AAAS discussion group
02-18 Fri. 3:30, Massy
02-20 to 2-25 AAAS, Denver
02-21 proposal drafts
02-22 Tue. Tenured Faculty meeting, 2:30 in Polya 204,iii tech comm instead.
02-23 Massy and Dicken's, 2:00,iii board instead
02-24 NSF, Kent Curtis, Luckham, Winograd, Chowning,
also 25th. McCluskey Feigenbaum
Pentti Kanerva orals
02-25 iii, didn't go
02-28 Edwards 10:30, Waltuch, 11:30
03-01 Computer Faire Dialnet paper, Les will do it
10:15 Miller with Feigenbaum
2:30 Faculty meeting
03-02 Zohar's class, abstract syntax - didn't do it.
03-03 AAAS discussion group, noon faculty club, Drell
03-04 ARPA Washington
Pasta Washington
LOTS advisory board, 4:15, scrdt room 105 - MISSED IT
03-09 2:15 Massy and Dickens
03-10 2:15 to 3:00, piano mover presentation, MISSED IT
noon Emergency Faculty, 215 Polya, CANCELLED
03-11 1:30 Massy
4:15 LOTS advisory board
03-14 Manuscript for IJCAI to be reviewed.
03-15 1pm Marshall Buck
03-17 3:00 -3:40, Schlumberger group, Ed Laak
03-21 9am, Dr. Paris
10am Miller
03-24 Martin Davis
03-27 SUNDAY
03-28 3:45, 204 Polya
Nilsson seminar, Towards a general theory of pattern recognition
03-29 First class of Spring Quarter, Tuesday
CSD Colloquium, Representing recursive programs in first order logic
03-30 dinner home, Ralph on electronic mail
12:30 LOTS, Educom man
3pm Polya AI faculty
04-01 4:15, LOTS wonders of time-sharing
04-03 SUNDAY
04-04 1:30 Ron Crane, dialnet, 497-1089
04-07 Bill Chester, tax 1:30pm
4:15 seminar with reg scrdt room 204
04-08 Friday noon, lunch with Miller, faculty club
04-10 SUNDAY
04-11 11am, EE Executive Committee, 241 McCullough
04-12 10am Dean Kays room 271, 2:15 Wagner orals Serra house
04-13 4:15pm, Lieberman
04-14 Yes to a meeting on Wagner thesis. Thursday 4:30?
04-04 2:45, Binford and Chern
04-15 Deadline for 1000 word abstract, workshp on automatic deduction.
*****AAAS meeting 6:45pm, Behavioral Sciences Center
Themes in Adult Development - Erik Erikson, $20 paid
04-16 17th Computer Faire, Dialnet paper.
04-17 SUNDAY, 11am-8am PA124 to London
04-18 10:35am BA to Warsaw, MAL xxx to Leningrad
04-17 till 04-23, MI9, Leningrad
04-21 Tonge seminar, UCI. data flow and reduction languages
04-24 SUNDAY
05-01 SUNDAY
05-04 UCLA, Panel on Alien and A. I. with Sturgeon, Pournelle and Niven
05-08 SUNDAY
05-11 Miller and Gorin, 10:00
05-14 AI Qual, 9:30 am, Polya 204
05-15 SUNDAY
05-16 12 noon, Full Dept meeting, Law School 290
05-17 2pm, Bill Skane, 652-8026 home, 642-5558
05-19 9:30am, Foreign Press
05-22 SUNDAY
05-23 Stewart Wecker of D.E.C.,9:30am from Holiday Inn,617-897-5111x4366
Liebermann, Miller, REG in Miller's office, 1:45pm.
05-24 and 5-25 III technical committee and board
05-29 SUNDAY
05-31 Financing of research, cs colloquium
06-03 3pm Black Friday
Bulnes Juan
Filman Robert E
Goad Christopher
Moravec Hans
Pattis Richard E
Wagner Todd
Wilkins David
BROOKS, MARTIN pass area qualifying exam
BULNES, JUAN thesis advisor, thesis topic, reading
committee, evidence of progress towards
completion of thesis
FARMWALD, PAUL advisor, pass area qualifying exam
MORAVEC, HANS reading committee, evidence of progress towards
completion of thesis
06-05 SUNDAY
06-06 2pm JAB and LES Dialnet
06-07 2 p.m. Tuesday,Bledsoe lecture, 237 Digital Systems Lab
06-08 Last day of exam week
06-09 Washington NLCPI and 6-10
06-12 SUNDAY
06-15 Final manuscript for IJCAI.
06-19 SUNDAY
06-26 SUNDAY
06-27 take in Mazda
07-03 SUNDAY
07-10 SUNDAY
07-13 10:30, Fred Wilhelm, new D.E.C. products
07-14 12:30, lunch with Juilland, faculty club
07-17 SUNDAY
07-18 10:30 rt. at 1st intersection off STeve. Creek onto Bubb rd. Dean Brown
Zilog
07-19 Tues. 1:15, 111 mitchell, Wagner oral
07-20 Wed. 1:30, Miller, with REG regarding status of LOTS
07-24 SUNDAY
07-25 10am chez hurd mail w/ralph
07-27 Lindgren 2pm
07-31 SUNDAY
08-07 SUNDAY
08-12 Friday 11am, Gorin and Hurd
08-14 SUNDAY
08-15 1pm, Suppes, 2:30pm, Paula Apsell of Nova, 4pm who?
08-17 Workshop on Automatic Deduction, Aug 17-19, M.I.T.
III Board, Boston.
08-21 SUNDAY
08-22 IJCAI, Aug. 22-25
08-28 SUNDAY
08-30 1:30 pm Soviet delegation, Bobrow is contact
08-31 KQED interview
09-04 SUNDAY
09-11 SUNDAY
09-13 9:45 Hurd to visit Noyce
09-14 11:55am, Lunch with Lindzey and Lederberg
09-16 2:45 Swedish parliamentarians
09-18 SUNDAY
09-19 to 27 sept. U. Texas, 4 lectures
09-25 SUNDAY
09-30 1:30 ERL 237, LOTS usage
10-01 EE party, Linvills', 30 Holden Court, Portola Valley, 4:30 - 6:30
10-02 SUNDAY
10-03 III technical committee
10-04 2:30 pm, Polya 204, Tenured faculty meeting., CANCELLED
10-05 LOTS meeting, 4:15pm, Room 222, Terman Building
10-06 Terman Dedication
10-09 SUNDAY
10-12 SIGMA XI lecture, U.C. San Diego
10-16 SUNDAY
meeting October 16-18.
The LOTS presentation will be Tuesday morning
Durand 450 8:30 - 9:15.
10-19 Bay Area Circle, 4pm, UCBerkeley, Room 60, Evans Hall.
dinner afterwards, 6 pm, King Tsin, 1699 Solano Avenue.
10-19 Calfee 12:00 faculty club, editing proposal
2pm John Merrill, Defense Investigative service 739-0328
10-20 4pm decision procedure for S*, Richard Stark, Math S. Jose state
11-21 Richard 11am
10-23 SUNDAY
10-24 Susan Cohen, 10am, 941-4813, San Jose Mercury
10-25 Briabrin et. al., 9:30
Hogan 3:30pm home, cancelled
10-26 Nova, will call before, 617 492-2777 x430, 581-1631 home
11-01 LOTS Advisory Terman 222, 4:15 Tues
11-03 Thursday, dinner at Feigenbaum's with Simon
11-04 Anti-nuclear play, 7:30 White Plaza
11-04 3pm, okee
11-06 Sunday
11-07 6pm, Dinner with Feigenbaum and Col. Russell, faculty club
Elizabeth Kays, Monday afternoon
11-10 Thursday, 12:00 AAAS luncheon
, Kresge 7:30pm, Commonner and Ellsberg
meeting with Ellen Nold, Calfee, and Sara Freedman 2:30 pm Terman 204.
11-15 Schwartz talk, 4:15
11-16 iii board, Tan-tan at Louis's
11-17 10 am Max Mathews, Prim, Fraser, from Bell Labs
11-18 10am Hearn, 801 581-8224 early thurs. eve.,LLL afternoon
11-20 Sunday
12:00 Ralph at Faculty Club to discuss LOTS budget
2:15 oral exam in psychology
11-21 4 pm LOTS budget,
11-22 4:15 C.S. Colloquium
11-27 Sunday
11-28 Pendray, 3pm chez Hurd
11am Amarel
11-29 4pm Sirbu from M.I.T. to discuss Dialnet
11-30 Fred Wilhelm, contact Dave Olsen
12-02 11:30 Hsi Nam, Hurd and Loebner flu
3 pm, Department Meeting, Dinkelspiel
3:30pm, Knuth inauguration, Dinkelspiel
12-03 9am,ll,1pm,Brooks,Goad,Polak - Logic qual flu
12-03 Modesto Sigma Xi, Walter Krudop 209 545-761,San Joaquin Valley
Shell development. dinner meeting on Saturday. Sci basis
12-04 Sunday
12-05 3:05 Richard Galant, Newsday, personal computing, paint Newsday gullible
12-08 AAAS luncheon, Natalie Zemon Davis, Center for Advanced Study
12-11 Fri. 4:15pm, H and S Chairmen, Bldg. 170 Lang room
12-10 9am,ll,1pm,Brooks,Goad,Polak - Logic qual
12-11 Sunday
12-12 10am, Telesensory systems 3408 Hillview, with Panofsky
9am Hurd
12-15 7pm 206 exam
12-16 9:45am flight to Mexico
12-18 Sunday
12-25 Sunday
12-28 Dinner with Schwartzes and Backus
1978
01-01 Sunday
01-03 Faculty meeting, 3pm, Polya 204
01-04 Wed. regist.
2pm Fujitsu, Hurd here 1pm, Okai
01-05 Thurs. 1st class, UGLY 144
1:30 Adams and Gorin
01-08 Sunday
01-09 4pm AI Lab, AI Lab. Colloquium, Filman
01-10 1:15 A and P committee 204 Polya
01-16 more blood!!
01-19 Thursday 3:30pm physical exam, Menlo Clinic
1:15 A&P
noon Umtech, Wolf exit Central expwy, L. on Evelyn=2n light, L. into bldg
complex
01-20 4:30pm, 204 Polya, Senior faculty
01-23 monday 4:15 Lots advisory 222 Terman
01-25 11:45, Hart at SRI
12:30 Faculty club Susie
2pm Feigenbaum, Binford, Levinthal (polya 252)
01-26 6pm, Rickey's Ryal Poppa and Hurd
01-28 2pm meeting with Milner
01-30 2:45-3:15 meeting with Lieberman, Building 10
Topic: Absences from campus while on grants
4pm AI Lab, meeting with Sandra Blakeslee to get article toned down
01-31 9:00 to 11:00 Senior Faculty meeting, Polya rm. 204
12:30 Faculty Club with McCluskey
3:15 Polya 111, Harel talk
02-02 9:00 computer forum, Tressider room 282
12:15 forum lunch, Tressider room 281
afternoon, Kreisel
6:00pm coctails, 7:00pm dinner, Forum banquet,
Rickey's Rose Room
02-03 9:00 computer forum Tressider room 282
12:15 lunch, Tressider room 281
02-06 4:30pm, American Studies room, 2nd floor Lou Henry Hoover, Uwe
Parpart, Fusion Energy Foundation, missed it.
02-13 9:00 to 10:30 Computer Committee, Deans office
3pm chez Linvill
4:30 Waltuch
02-14 10am, Calfee, Education Room 1 (with Nold and Freedman).
12:30 Levinthal
1:15 Gray Tuesday
3:30 Herrero, ITT Deputy director Europe
02-15 Pertec with Hurd, leave home 6:15, planes 7am and 1:30
02-16 Sacerdoti on Noah, lunch after, needs projector
02-17 8:25 to approx 9am, Jeff Byers, WOR Radio interview on Quasar.
2:00pm Cudhea, alumni magazine
02-21 Tuesday,12:15 Lederberg and Lindzey, there
466 4:20 ARR 5:15 22 FEB 463 4:20 TO 5:15
Pacifica hotel
02-22 III board, wednesday, also 05-24, 08-16, and 11-15
02-23 lunch Teller and Levinthal
02-28 SENSE meeting here
03-01 Statistics seminar - circumscription induction Ventura 4:15
dinner Dean Kays, 7pm 852 Pine Hill
03-06 10am Mayfield Fund, 2200 Sand Hill Rd., Tommy Davis
03-07 3pm Davis and Hurd, my house
03-12 SUNDAY
03-14 12:30 204 Polya, sr. Faculty CSD
03-16 2pm, Thursday, waltuch
03-19 SUNDAY
03-21 1:30, Appointments and Promotion mtg (re:Lenat), Polya 204
03-21 7-10 pm, final exam
Event of WED 22-Mar-78
Louie's is re-opening as "The Little Restaurant", 1140 University Drive, Menlo Park
on March 22. Hours 5-9pm. For opening night, let Louie know you're coming.
323-6540.
03-24 2pm Arens, Yigal, 524-8447 leave message
03-26 SUNDAY
03-27 1:30pm S-1 meeting
We have set up a meeting for 1:30pm, Monday, March 27, in my office
I have a conflict, but I could meet at 4pm if it were out here.
03-27 thru 31 Hewitt in town
To: JMC, wiederhold at SUMEX-AIM
Meeting will be Thursday March 30 at 10am in my office, 214 Polya.
03-31 Collier's Encyclopedia article
04-02 SUNDAY
04-03 registration, Spring quarter
04-07 thrue 04-09, interdisciplinary symposium on language, mind and brain
gainesville florida, u. of fla.
04-09 SUNDAY
04-12 3:30pm in session on AI theory,
to 04-14 "Treatment of patterns in mathematical logic"
paper by April 1 if to be included in proceedings. One page
abstract solicited. panel after talk
04-14 tentatively Bell Labs
04-16 SUNDAY
04-18 2pm, Lieberman, Adams and Gorin, Lieberman's office
04-23 SUNDAY
04-24 2:15 Jim Meindl
VERIFICATION GROUP SYSTEM MEETING TUESDAY 25TH APRIL,2:30 erl 237
04-25 1:15 senior faculty, 2:15 Faculty meeting, both Polya 152
04-27 curriculum, 2:30, 204 Polya
04-28 Pat, call previous week to confirm, psa 463, 4:20-5:15 to San Jose
04-30 SUNDAY
05-01 9:30 Hurd, AI Lab
05-02 Jarvis, Singer, Dunphey's noon
101 and San Mateo, Hurd's at 11am
05-03 2PM dileep divekar, 7-1934
05-05 noon, lunch with Lindsey, Suppes, Lederberg, CASBS
11am Filotti, message with Manuel Blum
2:15, faculty meeting, polya 152
05-07 SUNDAY
05-08 noon -Lunch with Hurd at faculty club
Your lecture on "Formal Methods for Representing Knowledge" is scheduled for
Tuesday, May 9 at 11:00. (If there is any problem please let me or Ed know.)
05-10 Berkeley colloquium + dinner "Circumscription - a way for computers
to jump to conclusions
05-11 AAAS luncheon, Faculty club
Waltuch 2pm
3:45 pm, 420-041, Hart panel on future of AI
05-12 State University, Northridge, may 5 alternate, 213 885-3541 George
Dunne. Fixed for may 12.
05-16 4:15 Weyhrauch at math colloquium
05-18 History of AI in Feigenbaum course
8pm Symposium on "Appropriate Science" with Ehrlich and Harmon
contact = Bruce Rittmann 7-0315
05-20 Hurd, 9am
Soft Energy paths, 9am Tressider 270
05-22 Dale Gieringer, 11am, EATKELP
here til July 31, anti-regulation libertarians, EES, Ron Howard is anti-gov't
Gerry Sauer decision analysis, Bill Linvill environmentalist liberal market
oriented,
1pm Telephone with Shuey chez Hurd
2pm faculty meeting 204 Polya
05-23 Amy Pinkerton, will call first
05-24 III board
lunch with Bauer, Golub, 7-3124
1:30 faculty polya 204
05-30 LOTS Advisory Board, 3:15 Terman 222
progress, report,user constraints, fall quarter constraints
5:55pm on psa on Wednesday
06-01 2:30-5:30pm History of programming languages conference
(after Perlis and Naur on Algol), Hyatt House hotel, L.A. airport
informal recept. Wed may 31 7:10pm, June 1-3 whole conf.
670-9000
06-06 Stu Wecker, 984-0200, Peter Raulerson, wednesday
10am Lieberman
06-09 Lerner meeting 8pm+dinner, 4:30 CSD meeting
06-12 4pm, logic search committee, Ventura
06-13 2:15, faculty meeting, polya 204
06-14 Dutch university people Delft with Raulerson, DEC and IBM
Oak Tree 10am
06-20 5:30pm, Faculty Club, Lederberg reception
06-23 9am, 204 Polya, Computer facilities meeting
06-25 SUNDAY
06-29 thurs, modal logic seminar, 4pm ERL 228
07-02 SUNDAY
07-05 PASCAL, 11-12 DSL conference room
Nancy Cartwright, Causal Powers
07-09 SUNDAY, Susie's wedding
07-12 Wednesday noon Faculty club, Teller
07-15 Jim King party, 1062 Mercedes, Los Altos, 948-6615
07-16 SUNDAY
07-18 Congressional briefing, Washington
Morris Pripstein, LBL
07-19 Mrs. Shcharansky welcome 12:30 Press Club San Francisco
07-21 1:30 SRI Bldg 30 J1018, Avra Cohn high level correctness proofs
07-23 SUNDAY
07-27 thurs. dinner at Susie's 7:30pm
07-30 SUNDAY
08-01 2:30 Greg Nelson on proving programs with pointers, ERL 237
SUNDAY
08-06 thru 9th Conference in Israel, home computer, Gerald Estrin
08-13 SUNDAY
08-16 III board
08-20 SUNDAY
08-23 thru Aug 26,meetin in Kyoto, 28-30 WG 2.2
08-27 SUNDAY
09-03 SUNDAY
09-10 SUNDAY
Monday 10::30 Pete Allen at LOTS
09-14 USF lecture, 11:10-noon, George Ledin, 402 Harney Science Center
09-15 lunch with Nilsson
09-22 3pm Andy Schor, 368-6973
09-24 SUNDAY
09-25 and 26th "Computer vision and Sensor-Based Robots" General
Motors Technical Center, Warren Michigan
09-25 and 26 Stanford registration
09-29 noon, Faculty meeting on department quality, 204 Polya
09-30 new student reception at Herriot's, 11am-1pm
1302 Channing
10-01 6pm, Michie dinner chez Feigenbaum
10-02 Phil Hiltz, 2pm (tentative)
Ann Beetem 2pm
10-03 10am, Lieberman, LOTS future
4:15 Scott seminar
10-11 4:15 Logic Search, Ventura
10-08 SUNDAY
10-19 Thursday 2:45-4 lecture in new students orientation
Barwise seminar at 7:30 in Philosophy lounge
10-25 2pm (tentative), Dr. Earnest Ambler, Nat'l Bureau of Standards, topic AI
Linville suggested he talk to you
Wednesday Lang Room 7-9pm, Administrative computing
10-28 Saturday, 8:30 pm, Lenat costume party
1752 Selig Lane, Los Altos, 965-1228
11-02 Instructional computing
11-06 dinner with rabin
11-07 2:30 Faculty meeting
11-09 Thursday 1:30, Nilsson at SRI
11-14 Logic search
11-15 III board, Boston
11-17 Phil Hilts, tentative
11-18 Saturday, non-monotonic symposium
11-21 9am, LOTS at Lieberman's office
11-24-27 Ershov, ask Feig to invite to talk about joint work
Gramercy Park Hotel, maybe c/o Potossin
11-27 Administrative computing, 7-9pm
11-28 and 29, Real time symbolic computation, M.I.T. Tues and Wed
12-02 and 12-03 U. Mass. workshop on indefinite reference
12-05 1:15 or 2:15 Bulnes exam
12-06 dinner with Zohar
12-08 friday, 10am Pfeffer
12-09 and 10. Skiing with Sarah
12-14 Thursday, 4:15 Logic search
1:15 642-6035, c/o Scott thereafter Ann Yasuhara
12-18 10 am Annie
12-20 8pm reserved for slide show, 36 Berenda, 854-4306
12-21 thu 9:30, Lieberman, Gorin, Feigenbaum
12-22 3:15 Waltuch
1979
01-04 4:15 Logic Search
01-05 2:30 Jose Maria Diaz-Rabaco, Univ. of Santiago
3:45 Dr. Taggart, aviation physical
01-07 10:30am brunch with Kirks
01-08 5:30 pm, Jane Robinson and Chomsky lecture
01-10 7-10, Research computing, Lang Room of President's office
01-11 Chomsky lecture 4:15, 6pm faculty club, Chomsky reception
01-15 10:30 Filman oral, Serra house
12:45 lunch with Feferman, front of math bldg
3pm Brucker
7pm Suppes dinner for Chomsky
01-18 and 19 th. and fri. III technical committee
01-25 3:30pm, Vera's safety deposit box with County Treasurer, Mr. Cressio
or Mr. Mitchell at FNB San Jose at Monterey and Cottle branch
call bank in advance to be sure we will be admitted
01-26 2pm, Mark Thomas Clifton, high school student, 493-6228
02-03 Jim Richardson is 40
02-05 Monday 9:30 Mazda
3pm Sandelin and Kanerva
02-09 theater with Susie and Dan
02-10 Patte birthday, chez Hersche
1pm Fran lunch, c/o Mary Berman 566-6374
02-14 2:30 Tom's steering committee
10:30 Mazda
11-12 Lieberman's office, LOTS future
02-15 2:45 jThursday, Waltuch
6pm dinner, 7pm seminar room Florence Moore off main lounge
Fred Crawford
02-17 and 18 and 19, skiing
off 80 at Mace, 2nd L on Manzanita, past stop, turns and changes name
1st L on Buckeye, 1417 is 1st on R, green house
02-20 Panofsky at Bechtel lunch, buy ticket in advance
How is Tuesday, Feb 20, 9am-11am for steering
02-21 Wednesday, U.C. Santa Barbara, dinner, Proving Correctness of
Recursive Programs, Arthur Pyster, 805 961-3236, dept
of EE and CS, ACM dinner meeting
III board, Sabina Saib, general research, 805 964-7724
02-23 7:30 Fred and Beatrice Crawford party
7:30 859 Cedro
02-25 3pm Blasgen party
10:30 photograph
02-26 IBM people 1:30
4pm, Bob Moore
02-27 10am, 111 Polya, IBM 4300 briefing
03-01 Scott at class, 2:30 meeting on AI courses
03-02 Faculty meeting, Polya 204 4pm
Feigenbaum dinner
03-03 Saturday, conference on Energy - the ethical issues
reserve by Feb 26. Immanuel Lutheran Church, 1710 Moorpark, San Jose
9am - 4pm, (415) 862-2331, (408)997-3032, (408)238-0507
03-05 3:30 Physical
03-09 Friday, Filotti, Baskett potluck 6pm
03-10 and 03-11 U. Mass workshop, didn't go!!
03-12 Tsing Hua U. visitors 1:30
Tang Ze Sheng, head of electronics dept
computers and automation
Jin Lan, computer architecture, parallel and distrib. graphics
Li San Li, assoc. micro-processor, best English
Lu Kai Cheng, discrete math and applied computation theory
Zheng Ren Jie, Computer software engineering
03-13 7pm faculty club, Linvill + Tsing Hua
03-16 1pm Ketonen
03-17 or 18 running with Alphonse
03-20 11am xxx, 1130 Doug West on gossip problem
1:30 Denny
03-21 Jack Tar Hotel, Energy and Ideology
Ray Kendall (703)892-2500, or home 931-5106, sub for Teller
to Spokane on 21st
03-22 North Idaho College, Ruth Alben speaker's service, 550
return 23rd
03-26 11am Okner tax
Okner, Norman 327-1160 2600 El Camino
03-30 Jeff Ullman 1:30pm, Polya
03-31 Moore party
2:30 LOTS with internal audit
04-02 2:45 Dean Rosse, Building 1, re: Dept. chairmanship
04-11 10:30 wednesday rosse, bldg 1
04-13 1pm Chowning
2pm internal audit for LOTS usage here
04-20 Friday 2:15, 450 Durand, oral in AE
8pm Opera (Curran Theatre, SF)
04-21 Noon Lunch at Wiederholds
04-23 1:30 Gordon Goldstein, ONR, Holiday Inn
04-25 1pm Faculty Meeting, Serra house
04-30 2pm faculty meeting
05-01 CS Colloquium, Elephant
05-03 Carlson at ARPA, 9am, 5 people
05-08 Wednesday, 10:30 IBM San Jose, Elephant, 256-7593
Abstract to John Williams, IBM research, K52-282,
5600 Cottle Road, san Jose 95193 (missed it).
05-10 Blikle, 12 noon, Owicki first 642-6655
1pm meeting with Ed about move
05-14 Subject: Faculty meeting on Monday, May 14, 3:30 room 252
05-16 Wednesday, Wilkins oral, 2:15 pm, Jacks 252
05-18 noon lunch with Meehan
ā09-May-79 1643 PLS Potluck
Date: Sunday, May 20th.
Time: 4.00 p.m. (or earlier if you like)
Place: My new house - alias Richard Waldinger's - alias 1033 Bryant St.
(between Addison and Lincoln), Palo Alto.
Phone: 327-0457
dinner with Chinese
When: May 20, Sunday. 6:00 p.m.
Where: 10H, Quillen. Mr.Tang's room.
4:15 Jarett orals, Skilling 193
05-21 Monday, Math club, Gunn, 106 Green Meadow off Alma S of Charleston
493-6228, 6pm
05-22 2:30 ERL 237, Oppen seminar
11am, Stanford Motor Inn, Mary Elson, 312 222-4551
4:15 Colloquium, Bill Miller
05-25 Western 5:27 reno-sf arriving 7:09
12:15 lunch CASBS Moore, Lindzey, Trainer
05-29 7pm, Rickey's dinner with Heidi Baldus, Tuesday
Digital Press, (617)275-5000x2006
05-30 Wednesday, Bob Englemore, ARPA
05-31 10am Thursday, III board meeting
2pm okner
4pm Paul Kaufman
06-01 5pm Baskett and Feigenbaum
06-07 thursday, aiqual
Committee 3: McCarthy, Buchanan, Goldstein
10:30 Russ Greiner 1:00 Kevin Karplus
06-08 noon here, meeting with damagee, 6pm Tresidder
06-08 Corky comes
06-11 11am Monday, Dr. Waltuch
06-12 Tuesday, Pamela McCorduck, 2pm, didn't happen
06-13 Wednesday 6pm, Laura fox, coffee house, 329-1284
06-14 birthday, thursday
10:30 Corky and Derek
06-18 Martin Davis
06-21 Ming's noon, Caltech lunch, Hugh Dubb 421-2674
Todorovich, evening meeting, 212 391 2396
06-23 Saturday, 10am, dr. Paris
06-26 tuesday, 3pm Dastek
06-30 tentative dinner with Jane R., co-op at her house
07-02 hearing in SF
4pm Bob Grant
07-04 Bob McClay, KXRX 8:30pm to 11pm, 101 to McKee rd Julian st exit
1st right on wooster .3 mile to end into parking lot, curves around
Eggo waffle factory. 279-1738 575-1500 talk show
922-7234 home.
07-05 dinner, Corky and Derek
07-06 4pm, Dr. Targgart
07-11 to 13 Edinburgh conference
9-13 Course in VLSI, R. Dutton, AEL 204, x74138
07-16 to 8-17 IBM Yorktown Heights
08-xx third Wednesday, III board, boston, DIDN'T GO
08-20 to 8-23 IJCAI, Tokyo, DIDN'T GO
09-16 09-22 Algorithm symposium in Uzbekistan, DIDN'T GO
10-27 CANCELLED afternoon, lecture at conference on "Science for a Humane World"
after Daniel Bell and Paul Saltman at The Center for New Thinking,
Wayne State University. Ruth Alben Speakers Service $700.
09-15 2:30pm, 150 checkout, Dan Rom
09-16 Behavioral Sciences Fellows reception
09-19 Behavioral Sciences Fellows orientation
09-20 meeting with Lindzey, 11am
09-21 ALL SET FOR FRIDAY AT 2:00, RM 402, JACKS., Brooks talk
10-05 11am MJH displays
10-09 Yue, mjh
10-10 wednesday 1:30pm Dale Geiringer
10-11 San Luis Obispo symposium
arrive Sunday, oct 14 leave sunday oct 28
10-23 symposium in Haifa, Joe Raviv, Technion
week or two previous in Israel
10-30 M.I.T. distinguished lecture, 1:30pm or 2pm, lunch, LCS
talked to Marsha Baker
10-31 Award trophies at ACM in Detroit
11-05 Don Gennery orals
Tue. Nov. 6 2000 Guarneri @ Dink
11-07 Elephant at IBM, Wed 10am, owe abstract 256-7593
Fri. Nov. 9 2000 Guarneri @ Dink
Sun. Nov. 11 1430 Guarneri @ Dink
11-13 Lieberman, Gorin, McCarthy, Devaney 10:00am.
call to confirm Anna Maria at 73904
11-14 III board meeting, Chicago (please call Doris Hyde 213-390-8611)
11-19 Monday, U. of Indiana, Filman
11-30 friday at 2:15, Martin Brooks orals
12-11 tuesday, 2pm, Creary
12-13 11:15am Waltuch appointment
12-14 friday, noon faculty club, Sandelin and Bair, word processing
12-16 4pm, Foonly viewing
12-20 thursday 7:30am Thallium scan
12-25 AA602 SFO-Mexico City 1:15pm 8:45pm
12-31 AA554f Mexico City-SFO 8:30am 12:55
WE723 SFO-Seattle 2:15pm 3:55
01-02 UA275 Seattle-SFO 4:00pm 5:43
1980
01-04 Friday 2pm Creary
tax man, estate 9am
01-09 noon, Ketonen lunch
01-10 11 III technical committee meeting
lunch 11:45, talk 1pm, 2-3 page outline month in advance
01-11? Formalization of Occam's razor, UCLA, Judah Pearl, 213 825-3243
Michael D. Intriligator, 213 825-4144
Jacob Marschak Interdisciplinary Colloquium on Mathematics in
the Behavioral Sciences
01-12 Saturday, Segovia in S.F. maybe
01-14 Monday 2pm Creary
dinner Jane Robinson
01-16 Wednesday, Jon Doyle, lunch plus seminar at 1:30
01-17 Eliashberg lunch 493-4000 x2544
Thu. Jan. 17 2000 Joffrey Ballet (Memaud)
01-21 monday, SE2 chez Connolly
01-23 lunch, Bloom, et.al. faculty club
1:30 TANG
2:30 aiphil group
01-24 2:30, Grinnell
01-25 2:00 Creary
01-28 2:30 aiphil, the frame problem. I half promised a writeup.
01-29 tuesday noon, lunch Bloom, course
1:30pm, mjh, Grinnell (John Metzler and Michael Kaplan)
01-30 Lecture: Social Opportunities from Computer Technology
01-31 Chern 2pm
02-01 2:30 more on frame problem
4:15 Eliasberg
02-04 8pm, Kresge, Quine "The mind and its place in nature"
9am telephone
02-05 tuesday, 4pm, meeting with Flexer on displays
02-07 and 8 Thur and Fri Computer Forum
lunch with Bloom
3:00 Cheeseman, mjh
4:15 Quine, From ostension to quantification
5:30, Tanner Library, reception for Quine
02-08 call Teller 422-4171
230 Sandelin in Cedar with REG
noon, lunch with Barwise
1pm more frame problem
02-11 4:15 Quine The forked animal
and 12, Chandra and Cadiou
02-13 Wed. Quine What is it all about?
02-14 Quine at CASBS
dinner 7:30pm,monday feb 18,george washington university club,
marvin center,3rd floor, 800 21st st. nw.
02-19 NAS computer science research panel, 9:30 am, Mr. J.F. Blackburn
executive director, computer science and technology board
202 632-2841
02-20 iii l.a.
02-21 Caltech lunch at Ming's
02-22 friday, 10am, Teller with Walter Levy. I pick up Levy at CASBS.
12:15 lunch with Bloom
03-25 3:30 Dean Ross, Feigenbaum, CSD matters, 1st floor bldg 1
02-26 10am, Karl Cohen
3pm Ma Xiwen
02-28 9:45am, Computers: Opportunities in technology, San Francisco
women's club, Goethe room, Academy of Sci. Bldg. Golden Gate
Park, right from Lincoln way on 9th st. into park. Parking
exists, ask escort or guard. through lunch. Excuse to
Carolyn Manning, alumni assoc.
02-28 2:30 Thurs. ERL 237, Brian K. Reid, Carnegie-Mellon University
Scribe: A High-level Approach to Document Production
evening SE2
02-29 Booz Allen presentation on telephone system
1 to 3, Law School room 190
3:30pm Lieberman, LOTS
03-04 9am Jerry's towing, 326-3430
10 Barwise class
2pm, nsf, chez Feigenbaum
03-05 wed 10am, Goad orals, mjh 252
12:30 Waltuch
03-06 3pm Frances Larson, secretary candidate
03-10 Monday. lunch with Lindzey, Suppes and Dennett
03-12 Wednesday 2:30 Moravec orals, 402 mjh
03-14 lunch with Bloom
3pm Feigenbaum and Scott
03-17 Monday, dinner with Milton Katz, 6:30 at CASBS, Amer. Acad.
lunch with Fodor
3:30 meeting chez Cohen, SE2
03-18 Bakersfield, nuclear colloquium
Rio Brava Lodge, 805 226-2200, 7:30 pm
1pm, Spirit of Palo Alto, checkout
03-21 lunch with bloom and science associates
2pm Tang and Ma
3:10pm pick up Sloman, 7pm dinner at Dan's
03-23 Sunday to 3-26, AI and philosophy meeting
03-26 Wednesday to 3-28, Office Automation Conference
11am Wednesday, title to Jim Bair of BNR 494-3942x690 this week
march 15, readable outline or draft, march 20 copy for slides,
wants 35mm. (his preferred title: If the computer works, people
will use it, experience at Stanford, why people do and don't use
the computer, no AI soon). What about "The real computer revolution".
BAIR@SUMEX
03-31 Monday, Englemore of ARPA
04-01 Tuesday noon, Palo Alto Club, Edward Ginzton,
567 Melville corner Webster
493-4000x2203
04-11 Pan Am 124 to London, 5:25 pm
04-13 15 Collective phenomena - Moscow.
04-19 return British Air 287, leave London 3:30pm, arr SFO 5:15pm
travel with Alan Nixon
04-14 Monday, 4:15, Terman 153, Balzhiser, synthetic fuels
04-21 Basic and applied research in computers, Washington
04-23 to 25, Case western Reserve, Michie tenth Machine intelligence
workshop, either approximate theories or non-monotonic reasoning.
04-23 Deadline for FOCS, 8 copies of detailed abstract to Andrew Yao
including comparison with extant work and significance of major
results.
04-29 Tues 11am Okner tax
05-01 8pm SE2 chez moi
05-06 US-China Program. Faculty Club, Red Lounge, 4:30-5:45.
05-20 2:30 Waldinger program verification
05-21 iii boston
05-22 4:15 on Thursday Kreisel in JAX 252.
05-23 Lecture on FORMALIZED NON-MONOTONIC REASONING, 2:30, Room 301,JAX
05-25 2pm Foothill, AIPHIL picnic
05-27 Tues 10am Okner
05-30 Lunch with Binford and Cannon, l2 noon
9:30 Dennett and Lindzey
06-09 Meeting with Cannon. Durand 250, l:l5 p.m.
06-11 and 12 iii, wed and thurs
06-12 thurs dinner with Pournelle and Niven
06-13 10am, meet Bloom here
06-16 to 18 SE2 conference
06-l8 Meet with Julia Doane in your office, l:30 to 2 p.m. (7-4988)
06-30 Meeting at Prof. Cannon's office, ll a.m.
Mazda
06-30 monday, 11am, Cannon, his office
07-07 text for LISP conference talk to John Allen
07-09 noon, lunch with Cate
07-11 11am Friday, Bloom and Watt, hydrogen
07-28 Sarah LAX-Gatwick, Laker flt 2 8:30pm to 3:10pm
return flt 1 Aug 25 3:15 to 6:30, $50 for change or cancel
08-05 Tues 9:30, bookcase visit
3pm Giant file meeting
08-05 Letter sent to Al Fenaughty
08-07 Thursday, lunch Bloom
08-08 Moszkowski
10:30 Grant chez lui
08-15 Friday 1pm to 3pm Sunday Monterey Dunes Workshop on Formal
Methods in AI. Bob Moore
08-17 -22, AI Conference, Stanford
2pm Richard Solomon
3pm Richard Weyhrauch
08-18 4pm, Friedl and Feigenbaum, chez Feigenbaum
AI Journal board, 7:30am Tressider
08-20 iii l.a.
ai and philosophy panel
08-21 6:30 dinner chez Suppes
08-24 6:00 p.m., Barbecue, Alumni Association
dinner chez Kays
08-24 08-27 Sunday-Wednesday, keynote speech at LISP conference on Monday
08-25 08-28, Managing the Computer Potential
08-25 Sarah return
08-28 lisp conf. party, chez allen
also final dinner chez Kays
Luncheon, Allen and Earnest at Holiday Inn, ll:45 a.m. M.C. for occasion
08-29 final lecture for program for middle and upper management
on computers $240, Marian Player, 7-2021, 11:15-12:30
09-01 deadline for sending Reiter recommendation
dinner 6 happiness, 6:30
09-02 tuesday 2pm, Boyer here msg.msg[1,jmc]/236p
09-04 11 ONR here
09-12 Lunch, Faculty Club, noon
Appointment with Pat Worley, PhD student. 3 p.m. in office
09-19 UBC
09-27 Saturday, lunch with Zohar, Amir and Carolyn
09-30 Tuesday, 2:30 p.m. Faculty Meeting, Jacks 252
10-02 380X, 9:30 to 10:45, CS206
10-02 thursday 2pm, Landwehr, carl, nrl wash,200 767-3381+ barrett
jaycor, alexandria, 703 823-1300
10-04 sat, lunch for students at herriot
10-09 Seminar, 4:15, Room 301, Jacks Hall
lunch Bloom
10-10 Reservations at Town and Country Motel for Oct. l0 and ll. Sigma Xi.
10-11 Saturday 1:15, Sigma Xi
09-30 5000 words to Jerry Pournelle, The Survival of Freedom - Fawcett
6 cents per word. On Oct. 13, he bought it.
10-14 Tuesday, 12:15, lunch with Bloom, SE2 on nuclear for CA
4:15 Feferman
4:15 Ron Howard
10-15 Wed. SE2, 8pm, Connolly, nuclear for CA
11am Richard Solomon
10-l6 Wm. Stockton, NY Times, noon, (212 556 7l41)
2:45pm CS200, mathematical logic and artificial intelligence
4:15 Bob Moore, be sure of transparency projector
10-17 fri, lunch with Miro, Bunzel and Lipsett, about Dennan
10-21 tues, lunch, se2
10-23 thurs Doyle at TINlunch SRI
computer facilities committee, 3PM in 220 MJ
10-24 Fri, noon, Michael Moritz, Time Magazine lunch, 213 273-1530
10-27 or 10-31 Honeywell, Phoenix. Management Seminar, Barbara Kuklewicz
602 866-2730, Human Res. Devel. Office
10-29 wed, se2 chez connolly
10-30 thurs Alan Meyrowitz, ONR, 1pm, 202 696-4312 301 423-5868
11-03 energy seminar - extreme conservation measures in
an oil cutoff emergency
Monday, 4:15
12:15 faculty club, se2
11-04 Tenured faculty, 2pm, mjh 252. regrets to csd.jeanie%score
11-05 Wed. 12:15 lunch with Nils. Reservations made.
11-06 thurs CIS executive committee
11-07 12:15 lunch with Dantzig. Reservations made.
11-09 sunday 4pm, Scott Kim, cs206 exam
11-08 Waiting list for Monday Luncheon, Faculty Club. Kenneth Arrow to speak.
11-11 AAAS stated meeting, Kennedy on regulation
Faculty club
Reception, 6 p.m., Dinner 6:45, Speech, 8 p.m. Reservation made.
11-13 Faculty Club, Zohar Manna, 12:15. Reservations made
1:30 Thompson CSF, Vasseur
11-14 Friday, 4pm, 493-7410, Sarah boots
11-19 iii l.a.
11-20 Boyer at SRI 2pm Thurs
11-21 Friday, 11am, NYT photographer
11-24 Monday 12, chemistry gazebo, editing
11-25 tues, se2 chez Connolly 8pm
12-01 Boyer
12-02 8pm, Anscombe, human specialty
12-03 wed, 2:15, computer facilities, room 220
12 noon, lunch, Ceras, CIT, Task Force on computing
12-04 4:15, jordan 040, Murder
5:30, tanner lib, reception
ll a.m, CIS meeting. McCullough 240
12-04 thurs, 8:30pm, Tversky, skilling aud
12-05 fri 12:15, bloom, faculty club
12-06 saturday, 8p, Darden party, 991 lincoln, 323-6637
12-08 Darden seminar and dinner
friday noon, lunch with Moore, etc. at SRI
12-12 St. Lucey day party, Diffie's 8p
12-17 wed 11:30, lunch with Susan Newman of Cummings publishing
12-18 Thursday, Dec. 18, 10:00 AM in room 301 MJH okay? Comprehensive
12-19 ll a.m. CIS meeting, 326 McCullough Bldg., Lunch.
12-15 deadline for abstract to Reiter for philosophy conference
12 24 1pm, Greenberger chez moi
1981
01-06 tues, 11am, 380F, first class cs226
Tuesday, January 6, 1981, 2:30 p.m., Jacks 252, faculty meeting
01-07 Wed 4pm, Commonwealth club, long range robots
Donald L. Sweeney, Studwell Associates,
110 Sutter St. - Suite 1008, SF 94104
391-9991, needs biography and outline
01-08 AI prize committee, noon, Henry's Room at the Top
01-09 11am, Okner, chez lui
12:30 Bloom at Faculty club
NEXT MEETING: Monday, 12 JANUARY at 10:30 AM in 301 MJH.
01-12 monday 2pm, Daily Telegraph, Adrian Berry,
Ian Brodie, w coast corr. 213 455-1358
01-13 3:30pm HP,show and tell
12:15, Math-Science Committee, Faculty Club, 7-1796
01-14 2p comprehensive
energy advocacy conference
01-15 CONTEXT meeting, 152 Polya, 9-11 a.m., 497-4376.
01-16 fri 9:30 Lindstrom, noon lunch Bloom, 2pm Comp. Clarkson
01-19 monday, Vicenti, values, technology and society, fac. club lunch
01-20 Tuesday, 2:30 Pnueli
01-21 lunch with Susie, 1pm
01-22 CIS Seminar, Dr. Steven Johnson, 1:15 p.m., ERL 401. Possible interview
with Johnson after Seminar.
12:30 lunch with Elliott
01-27 CSD Colloquium
01-28 CIS Committee, McCullough 240, 12:15
01-29 thursday, noon, faculty club
Paul Berg, Michael Steele, Donald Iglehart OR, Jack Herriott,
James Ross, H and S dean's office.
01-30 noon thru Sunday Feb 1 pm, Pournelle space conference, chez Larry
Niven Reservations Chalet Lodge, Jan. 30 and 3l.
02-02 Monday, logic seminar, 4:15 - 5:30, title: Non-monotonic reasoning
12:30 Bloom
02-06 fri, 8pm, dinner chez Binford
02-09 1pm, Panofsky
4pm, Teller
02-10 Tues. Gray Tues. 2:30, 252
lunch with IBM
dinner chez Susie
02-11 Wednesday, before 10, Mazda
02-13 Friday, 9am meeting with ARPA on consolidation of funding, 252
2pm He
4:30, 202 966-1804 home, Giesbert, Franz Olivier
Nouvel Observateur
02-15 sunday, 4pm-6pm, Chinese Lantern Festival, chinese consulate
1450 Laguna, St., SF, Geary st. entrance, Hu Dingyi consul general
563-1718 for regrets
Monday trip to Washington
02-17 Washington meeting McClure and Baker
Tuesday eve, Toscanini Restaurant, Pennsylvania Ave.
Wednesday, return
02-17 Wednesday, Teller, his office. 10 a.m.
02-l8 Thursday, Cmdr. Ohlander, DARPA, 4 p.m.
02-20 lunch Bloom
2p, Carolyn thesis
02-23 4:15, Monday, Waltuch
02-22 2pm, Carolyn
02-25 Wed, iii, la,
02-26 Thursday, 1pm Bender
02-27 fri, 11:30 Bloom, chez lui
03-01 IJCAI 81 submission date, max 6000 words or 1200 words
3 copies, topics under which review is wanted
100-250 word abstract
03-02 Monday, 5:15 Berlitz French, don't forget to resched Wed
03-03 Tuesday, Ray Reiter,
Towards a logical reconstruction of database theory.
10:45am waltuch
03-04 David Kaplan is giving a philosophy lecture.
4:15 Reiter on non-monotonic reasoning
03-06 Fri 3pm Berlitz
03-09 11am, dentist
5:15 French
03-13 Rod Brooks oral exam for 2:15 pm Friday 13th March.
Fri. 13 Mar. 20:00 Perlman @ Mem.Aud.
03-16 1p Gabriel
2p Formal reasoning group
noon, Barwise
03-17 Tuesday, Suppes birthday party 7pm
03-18 Wednesday, leave for France
03-23 Monday, Washington and return to Stanford
03-24 Tuesday, 8pm SE2 chez Connolly
03-030 Mon
2pm, Elliott Levinthal
4pm, RPG
10, SRI, Nilsson and Rosenschein re CBCL
04-01 Wed 20:30 Party at Fefermans - 883 Lathrop
04-01 noon, lunch with Susie
04-03 noon, lunch with ZM and Bob Grafton of ONR
04-04 3pm, chez Feferman, terminal session
04-05 Sunday Seminar, home of Bob Wagoner, afternoon. Speak.
2:30 - 4pm, 984 Wing Place, 1 block S of Stanford ave
493-4241 title= "Effects of artificial intelligence research on
philosophy"
12:30 lunch with Bloom
04-07 Tuesday, 2:30 WALDINGER
4:30 Creary and Gabriel
LISP conference, SRI
04-08 Wednesday, 5:15pm Berlitz
04-09 Thursday, 10am SRI
8pm, Skilling, Sigma Xi, Everitt and Hacking on "Experiment or theory
which comes first?
04-13 Drell conversational lunch, missed it because of Comprehensive
04-15 Verkshop contribution to Peter Neumann, see w81.in[let,jmc]/351p
04-21 to 23, Tues-Thurs VERKshop II, NBS Washington.
Peter Neumann, SRI organizer
04-23 SRI, see Chuck Untulis
04-24 Thesis Committee, Vic Scheinman, Room 529 Terman Engr. Ctr, 1 p.m.
arranged with Bernard Roth
3:30 John Hobby
5pm, iii consultant
04-27 Oral Exam, R. D. Arnold. 2:15, 402 Jacks Hall
04-28 SRI
04-27 to 05-01, Peniscola Spain, WG 2.2
reply to Eric Neuhold or E.K. Blum
04-27 deadline for 3000 to 6000 word paper for conference on
functional programming languages and architecture + 300
word abstract. Brochure in conference file.
05-01 May, Marseille University, Colmerauer
topics: minimal interpretations, conceptual logic or my choice
05-06 7 and 8, M.I.T. Physics of oomputation, Fredkin
05-20 wed, iii boston
06-15 camera ready copy IJCAI
07-08 2p Mike Raugh HP, 857-5001
07-09 SRI, 10am
07-10 Lecture, John Allen's LISP course. Tentative, 10:45-12:15, SC Univ.
07-13 Mazda
Burstall lunch Louis'
07-14 11:30 Hurd lunch
1:30 here, Hank Woodward, 326 0747, about password protection for equipment
781-1989 SF
5pm Woodward about passwords for equipment
07-17 Fri 6:30, Louie's Susie and Dan
07-20 lunch with Elliott Bloom chez lui
07-21 lunch with John Perry at CASBS
07-27 lunch with Machada, Gio, etc
07-28 Meeting with Machado, ARPA. 8:30-noon. To include your researchers.
08-04 Tuesday, Martin Marrietta, an hour with me and another with
Jar-Mo Chen, 301 247-0700 x310. Ken Jarmolow, corp R and D.
Steve Maslen, interested in computer science and math. phys.
afternoon. $25K per year unrestricted grant.
08-05 Wednesday, Lowell at Livermore
08-07 deadline for submission of summary to POPL to be held
in Albuquerqe, Jan 25-27. Nov. 10 for final paper.
announcement on bull. board
11:20 Yamada
1pm about 206 proofs in EKL
08-19 iii, boston
08-20 Logic programming conference, Queen Mary
John Burge, 213 887 4950. ends at 5pm,
08-24 to 28th, mon-fri ijcai- 1 week, philosophy and ai in Vancouver
ijcai
09-04 Friday, 10am, MJH220, equipment meeting. list is equip%shasta
09-09 Wednesday, 10am, Sandia colloquium, Mary Ann Sweeney 505 844-6354
about AI for general scientific audience, needs title, abstract
and biography
09-08 to 11, CERAS building, Thursday 10am, room 204
Tuesday, 10am, 268 main quad, French and Italian
Weisberg, French, 325-0659, 7-1261
09-14 to 16 (Mon-Wed) International Symposium on Disorder and Order, CERAS
Prof. Hester
09-17 4:30pm, Jenks, 326-4930, FBI re Ershov
09-22 Yvonne Emsellem of Order and Disorder Conference. 1:30 p.m., your office.
497-4703.
Goerz (met in Vancouver, from Germany, now at UCLA) 2:30. Colby at Sumex.
09-24 Noon, Thursday, through Sunday P.M., 27 September, 1981
Citizens' Advisory Council on Space Policy
Itinerary - Germany. Sept. 24-30
9/24 Lv. SFO 10.20a, PSA 272. Ar. Burbank 11:20a
9-26 Lv. LAX 5:15p, PA 120. Ar. London 11:20
Lv. London 1:20p, Lufthansa 57. Ar. Cologne-Bonn 3:35p
To be picked up at airport.
9-30 Lv. Stuttgart 11:50a, Lufthansa 64. Ar. London 1:30p
Lv. London 3:50p, PA 125. Ar. SFO 6:35p
Taxi from Cologne--Bonn to Neueuahr, 30 miles SW. Kurhotel
09-28 Monday,IBM Germany symposium on office information, promised CBCL
Juergen Reetz
10-01 thursday, 1:30-2:15, CS206
Tenured faculty meeting, Room 252, 2:30 p.m.
10-07 Math-Sci Com. meeting, Faculty Club, noon Wednesday, Prof. Efron. 7-2627.
1:30 here Brian Reid to visit Foonly
10-09 Friday, 9-ll, Context Advisory Council. Cedar Hall. Please let Meredith
know whether or not you are coming. 7-4540.
10 CCF
10-12 Monday noon, lunch at CASBS with Castaneda and Creary
10-14 Livermore
10-16 1:30 SRI with Nils and Stan
10-18 to 22, New Hampshire conf on functional programming languages
and computer architecture. Brochure in conference file.
10-l9 CIS Committee meeting to discuss policy statement. 3:30, CIS Conference
Room, ERL
10-22 dinner at Gene's
10-23 Jack, Fran and Gene for dinner at Louie's
10-26 10am PI meeting
11-05 Tenured faculty meeting, Room 252, 2:30 p.m.
cs200 lecture, 2:45, room 320 quad, geology corner
11-06 Context Advisory Council, 9 -11.
11-09 LLL
11-13 Konolige, 1:30pm
11-15 Lv SFO at 2:15 p.m., UAL 72, Ar Cleveland 9:35 p.m.
11-16 Kent State, Johhny Baker, 216 672-2417 office, 2430 secretary
Lv Akron-Kent at 6:10 p.m., U.S. Air 84, Ar Pittsburgh 6:50 p.m.
11-17 Distinguished lecture at CMU
Lv. Pittsburgh 10:30 p.m., Ar. LAX 12:29 a.m., UALines, Flte 823.
11-18 wed, iii la
Lv LAX 5:55 p.m., PSA565, Ar San Jose 6:58 p.m.
11-19 Meeting re V. Pratt with Prof. Golub. 2:30 p.m.
11-24 SAIL payers meeting, 3 p.m. Room 252, Gorin and Keller.
11-25 Wed. 2:15, chair oral, Ann Mayo, 7-3056. 103 Ceras.
Wed. 2 p.m., CIS Exec. Com., Conf. Rm. ERL.
11-27 fri, Livermore
SE2 meeting, Tom Connally's home, 8 p.m.
11-30 Monday, Kingsley Davis lunch, "Development without Progress"
noon, Faculty club
12-01 2:30, 301 mjh, Genesereth on MRS
12-02 12:15 faculty club, math. sci.
12-04 Friday, 12 noon, se2, faculty club
12-03 Tenured faculty meeting, Room 252, 2:30 p.m.
12-07 Jenks about Ershov
12-09 lunch on Wednesday, December 9 with C. Hurd at the Faculty
12-11 1 p.m., Teller
12-17 lunch with Bloom
12-18 Friday, Planning Committee, III, 10 a.m.
1982
01-06 Wed. Lunch with Lindzey
10am facilities
01-08 Fri., Lunch with Elliott, noon
01-11 Monday, Lipset on "The Social Sciences and Public Policy"
noon faculty club
01-15 Friday, Panel with Weizenbaum, Dreyfuss and Goldberg on Computers
Models of the Mind. 4-6:30 and thru the evening. Bob Russell,
415 654 7458.
Context Advisory Committee, CIT, 9-11 a.m. (possibly on 1-22)
Context Advisory Com, CIT, 9-11a.m., l52 Polya
01-18 monday thru 29, Information Mechanics, Mosquito Island
01-20 Wed. 8-12, telephone change, 327-4308, ask for Dorothy
01-22 Friday, 4pm, Teller
01-27 Wednesday, Lv. SFO, PSA Flt. 772, 8:55 p.m. Ar. Burbank 9:55 p.m.
01-29 Friday, Lv. Burbank, PSA Flt. 273, 8:20 a.m. Ar. SFO 9:25 a.m.
01-28 9am SE2 at Caltech, Saturday + dinner at Athanaeum
*Fri. 29 Jan. 20:00 Julliard (Dink)
*Sun. 31 Jan. 14:30 Julliard (Dink)
*Fri. 19 Feb. 20:00 Kronos
*Wed. 3 Feb. 20:00 Julliard (Dink)
01-29 Friday, 6pm, Porto
02-01 Monday, 5:30 p.m., Prof. Lieberman's office.
02-16 tues, lunch with Elliott, 12
02-17 Wednesday, lunch with C. Starr, his office, brn. bag or sandwiches there,
12:30.
Steve Trousdale
02-18 3:30 Simon
02-22 Monday, III 9:30, L.A.
02-23 Undergraduate philosophy lunch
Tuesday, 3:30 p.m., Mrs. Zhong. (7-0600)
8pm, se2
02-24 III, Wed.
02-26 Friday, Context Advisory Council, 9-11 a.m., Cedar Hall Conference Rm..
Should be confirmed, 7-4378.
03-01 David Eller 327-2143, 1:30pm
03-03 noon, math. sci. lunch
03-04 Steve Macali. Talk at 12:15.
8pm, Panofsky on state of high energy physics, Skilling
03-05 Friday, Ehud Shapiro speaks at 3 p.m. Sees students at 4 p.m. Sees
you after and then goes to dinner with you. (Is at Tiki Inn)
03-09 SE2, Connolly
03-11 10:30 Brian Smith at SRI
03-12 Friday 6pm, Louis Lerman and X Friedlander on exchanges, dinner
at Skywood chateau
03-13 Saturday 9am, chez Teller with Todorovich, Pigford and Bethe
03-05 Monday, lab tests and Livermore
03-16 Tuesday, Pie, chez Hurd
2:30, Waltuch, 5 days prior lab work, fasting night before from 10pm
03-19 Fri 8pm, sf, Kronos quartet
11:30 Okner
03-22 Monday 4pm, rpg and lgc, advice taker
03-26 Lynn Chang, 9pm, dinner previously maybe,
Bach, Dynamite and Dancing, Douglas Beach House, Miramar
Beach, Half Moon bay, 2.5 N Half Moon Bay, L at Medio,
R to Beach front
1:30 Mrs. Kuo
03-29 loebner, hellman, flory, friedlander, jmc, lerman
03-30 and 31, III technical committee, Tues. and Wed.
04-02 thru 4, L-5 Space Industrialization, Airport Hyatt Hotel
11:45, Waltuch
1pm Liaison, Hurd
04-06 tues. 7:30pm, Jordan 100, Dov Gabbay lecture
04-10 Saturday, ba 286 sfo-lon 6pm 1pm, af 815 Lon-Par 3:30 5:30
air inter 6463 Paris Marseilles 6:50 8:10 pm
05-08 Marseilles - London, BA349 3:20pm - 4:00
05-19 III, Wed. - won't make it
06-05 Saturday, London - N.Y., TW 703 noon-2:35pm
06-07 6th Conf on Automated Deduction, Courant Inst.,6-7/6-8. "Non-monotonic
reasoning", 6-8, Tues. evening.
06-07 to June 10, Automatic Deduction Workshop, Courant Inst.
my talk June 8, Donald Loveland and Martin Davis
aa182 sf chi aa28 chi albany june 14
06-15 Whitney Symposia on Sci & Tech., GE, Rensselaerville,NY, 6-l5/6-l8
"AI - Present and Future"
06-15 computer ai concentration,$1k, june 15-18, ai, present and future
my talk is Monday first thing
Charles Bean, 518 385-8610
Tuesday to Friday, also Phil Lewis 385-8686
Schenectady and Rensselaerville, New York
aa465 albany chi, aa257 chi sf
06-20 Saturday, Livermore
06-24 Thursday, SRI
07-01 Thursday, sRI
07-05 Monday, 10:45, Waltuch
07-09 fri 11am Richard Louv, San Diego Union, 714 226-6274
07-08 thursday, SRI
Fri. 9 July 20:00 Baker Recital Carmel Valley
07-13 tues 1:30 pm, McDermott on time at SRI
07-14 John Miller to arrive from Philadelphia between 14th and 18th
after leaving Dublin on 8th or 9th. till 13th in Phila.
SIAM 19th, leave 22 or 23rd. 23rd in Chicago
Thu. 15 July 20:30 Joffry Ballet SF
07-16 Fri, 1:30, REG and EJS about displays
07-19 monday,Dr. Paris, 2 p.m. If you have not been there within the past two years,
please arrive at 1:45.
Fran returns from vacation.
07-20 Tues. 1:15 (lecture to foreign students) Beverly McChesney, 7-3636
10:30 for McD would be fine.
07-21 Goldman orals
2:15, Boys Town conference room
07-22 Thurs. SRI
07-23 fri, lab work, go early; avoid the rush
Mazda, V.W. Specialty, 904 Industrial Ave. Palo Alto 494-7676
11am Kathy Aparicio, (57)547-1726
*Sun. 25 July 19:30 Pippin Martha SF
07-26 mon, 11:45, Waltuch
07-26 mon 1p, Tony Unger oral, feferman
normalization in 1st order logic, theory of proofs
cut elimination
08-02 Monday, 2pm, Konolige
08-08 SFO-NYC Lv 8:30 am - Ar 4:50 pm TWA 842 Reservations confirmed
Lv 9:40 am - Ar 6:00 pm TWA 806 Waiting list
08-15 - NYC-Pitts. Lv 2:20 pm - Ar 3:32 pm Allegheny 445
08-20 - Pitts-LA-SF Lv 6:15 pm - Ar 10:04. UAL 823 to LA; UAL 827 to SF.
08-09 Monday, thru Friday, IBM Yorktown
08-16 thru 19, LISP Conference
08-l8 Natl Conf on AI, Pittsburgh
Tutorials, 8-l6/8-l7; Conference, 8-l8/8-20
08-18 III, Wed.
08-26 1pm Kader
3pm Pednault, 7-2442, CSD.PEDNAULT%score
09-02 Thursday, Livermore
09-06 Monday, Sarah to Paris, 67 rue De Seine, Paris 75006
354-3780, c/o Diffie
09-14 thru 17, Logic Programming, Marseilles
Do Expert systems need common sense? my talk on 17th
09-26 registration
09-21 noon, faculty club, Ullman et. al. re MTC
09-22 Meeting with Quate, Golub, Knuth, Ullman
09-23 11am Baskett at DEC
09-27 Monday 4pm, Jerry Saveriano, 714 963-6165, Robotics Age
09-29 Wednesday, Steve Barrager, Decision Focus, 4984 El Camino Real, Los Altos
2nd Floor, 960-3450, tentatively consulting
Ab Kader, Ed Cavalet, John Nafeh
09-29 First meeting mtc seminar
09-30 Thursday, 3pm, Ed Pednault, 7-2442, 326-2517
10-01 Friday, Teller tentatively
10-04 Monday, Walk/jog/run 12:10-12:50, Roble field, Lagunita Hall side,MWF
10-06 Math. Sciences lunch
Bob Kahn, DARPA in afternoon
10-11 Monday, 6:30pm,
Marshall Windmiller, International Relations Program
San Francisco State Univ., San Francisco, CA 94132
a short biography. slides if possible.
Leslie Kaplan, channel 32, (55) 469-2055, 469-2386.
not more than 4 lines of 20 to 30 characters
with Roth.
2:30 Brian Reid
10-14 4pm briansmith%maxc
10-18 12:15 Elliott Bloom, Monday
5pm Waltuch
10-25 Mon. 20:00 Opera SF La Cenerentola
11-01 Monday, room 8 Faculty Club. Paul Berg conversational lunch
11-03 Wednesday, 11am, Duane Adams, Common Lisp support
11-04 Thursday, 2:20 tenured faculty
11-05 Pereira and Warren Tinlunch, sri, ek242
11-08 Monday, 10:30 Lenat at SRI EK242
11-09 Tuesday, 11:30, interview Maribel Calderon
11-12 Friday, 12:15 lunch with Elliott Bloom
11-13 Saturday, 11 a.m., Philip Hilts, in office
11-15 Monday, MTC exam
2:15 pm, 252 MJH, AFOSR-CAMS Internal Advisory Committee
4:30 pm, Miro Benda from Boeing, 206 575-5031
11-17 III, Wed.
10:30 SRI talk by Hewitt
11-19 11am, interview by Scott Palmer, 800 428-6179
Friday, lunch with Elliott
11-26 1pm consulting
11-30 Tues. 7:30pm, Robert Solow, The Reagan Experiment and Macro-economic
theory.
Wessels and Quate on Tuesday, Nov 30 at 2PM in the Chairman's
12-01 wed. math sci. lunch noon
12-02 Thursday, 2:20 tenured faculty
12-03 fri dinner at Susie's
12-05 sunday, 5-7, Feferman's party
12-10 Friday, 3-5pm, Scheinman committee, Rm. 529 (Terman?)
12-13 Monday, 4:15 SLAC, Carl Akerlof, 28-3214, Prospects for Artificial
Intelligence, dinner also
12-16 cs206 final
Teller at his convenience, 9:30 - 9:45
1983
01-04 registration
01-05 09, Math. Society, Denver, my talk Jan 5. in 2:30 - 5:30 session
e82.in[let,jmc]/229p for program
ATP prize committee, noon, Jan. 6
evening of 5th with Petr Beckman, 303 444-0841
01-11 Tuesday, 3:30, Mike May 422-4608
01-13 Thurs. 12:15 lunch with Elliott Bloom at faculty club to discuss
agenda for SE2 meeting at 8:00 pm same evening at Tom Connolly's
home.
01-14 Friday, Michelle Fischer, Faculty club, noon
01-18 Tues. Prof. Todorovich, approx. 2:30 p.m.
lunch with no-name group 301
Science and Defense
01-20 Thurs. 3:30-5, 281 Tressider, electronic publishing
panel, Michelle Fisher, 7-1326
10 minutes talk + discussion
Why the information buildup?
Are we victims of unnecessary scholarly publishing?
What is the bet way to decide what to read?
How much can I afford to ignore?
Will computers really help?
01-21 Friday, 2:15, oral exam, econ. Ann Mayo, 7-3056
James Fields, Timothy Bresnahan
Essays in role of quality in oligopolized industries
01-24 Monday evening, introduce Reddy, 7:30 Skilling
01-28 Friday, Santa Cruz County Computerfest, meeting of the minds
5pm dinner hosted by Chancellor, panel 7:30 - 9:30.
location not given yet. Judy Immerman 408 476-0319, also 425-1503
425-1352
02-01 Deadline for IJCAI
Tenured faculty meeting 2:30 pm MJH220
02-02 Wednesday, 9am-11, Adams and Machado re new DARPA proposal
800 547-1516, Randy Massengale
3:45 Henry Pasternak, c/o ME, HAP%SAIL
Computer Forum informal buffet, Wed. evening, Faculty Club, 6-8pm.
02-03 Thursday. Computer Forum luncheon at 12:30 pm, 2nd fl. lounge Tressider.
02-04 Friday, Livermore, 3-5pm, ai and also coal mining
02-07 Monday. 11am meeting in Dean Wessell's office
02-10 2:30 Systems Search - Golub conf.4-5 pm, Hastorf's office,5:15 indust
02-12 Saturday, Elliott, SE2, my office
Mon. 14 Feb 20:30 Davies Hall PDQ Bach
11am Harold Shutt, DSMC ā Defense Systems Management College
Mike Beeson in Carolyn's salon
02-16 Wednesday, David Liu, 1:30pm, Hsi Nan, 398-4979
02-18 noon, lunch with Hurd at Maddalena's
02-19 Saturday, Hackers and Yackers bands
02-21 Monday, 12:30, lunch with Elliott and John Beahrs
02-22 Tues. 2pm III, finance and planning committe
02-23 iii board
Gilbert Dwyer, 212 697-3730 office, home 212 308-0208
Hyatt at the airport, Ward, Howell International
get back to him with time. He prefers 3:30.
02-24 Thurs. 2:45, systems search, Golub conference room
02-24 Thurs. from 5pm, University Fellows program.
President's conference. New developments in computer science.
30 minutes presentation with interruptions
Artificial intelligence, philosophy and business communication
Cecilia Burciaga, 7-3503
Fri. 25 Feb 20:00 Kronos
Sun. 27 Feb 19:30 Pippin Orlando
Tuesday, 4pm, Suppes's office, learning
03-01 remarks or summary for Chicago conference, see conference file
03-03 Tenured faculty meeting 2:30 pm MJH 220
03-04 Fri. 5 p.m. John Reiger, in Berkeley.
Sun. 6 Mar 19:30 Pippin Cosi
03-09 Wed, 2pm, 301, Treitel
03-09 Wed. Math sci lunch, Hargadon
03-10 Thurs. 2:30 pm meeting. Golub
Sun. 13 Mar 19:30 Pippin Italian Girl
03-16 Wed. Michael Fehling. 4 p.m.
9:30am Admissions meeting
03-18 thru 20. Arden House conference on Science and Labor
03-20 Sun 19:30 Pippin Eugene Onegin
03-23 Ohlander, 9 - 10:30 + lunch
Weds. 2pm, Steven Levy, 858-1494, writer
03-24 Thurs 4pm Okner
Also--Search committee meeting 4 pm rm 252
03-25 Fri 6pm, chez Friedlander, 996 Cragmont, corner Santa Barbara
1 blk w of Euclid
03-28 Monday, Edward Zalta, 1pm, 843-3000, rm. 312, Parsons, Partee, Scott
Possible worlds and stories
Monday, 2:45, Paul Rosenbloom
03-29 Tues. Faculty meeting, 2:30 pm room 352
1pm, lunch with Kreisel
04-01 Meeting of Academic Council PH100, 4:15 pm
04-02 registration
AI article for Physics today, Jeff Schmidt, 212 661-9404x551
04-04 Monday, Leave for Chicago
04-05 Chicago Museum of Science and Industry panel 312 684 1414.
Victor Danilov
04-06 5:00 press conference, Helen Hotzman 212 838-0230
NY Academy meeting.
New York Academy conference. My talk is "Programs Need
Common Sense", Day 1. Letter to and from Heinz R. Pagels
04-07 Parsifal
04-08 8pm, Fri. Kronos, gave tickets to Susie and Dan
04-10 to 04-13. Sun - Wed. DARPA meeting in Monterey.
04-12 Suppes 4pm, conflicts with Monterey
04-17 Sunday, Mark Todorovich, 213 793-4740
Should arrange Livermore visit
04-20 Wednesday, Army conference on application of ai to battlefield
information management. My talk 10:20 - 11:10. Requirements
for common sense knowledge.
Thursday, Washington visits.
04-22 Dean Kays's staff, Terman 214, 10am
05-04 Wednesday, 7:30pm, Kresge, Lowell Wood vs. W. K. H. Panofsky
STRATEGIC NUCLEAR DEFENSE
A Public Forum
on the feasibility of Strategic Defense Systems,
and their effects on Nuclear Deterrence and the Arms Race.
12:15 Siegman at Faculty Club
05-05 3:15, Thurs. Organization meeting, Academic Senate
180 Law School
04-03 Abstract for Man-Machine Interaction Seminar (Newcastle) requested
by this date
05-11 Wed, changed iii board
05-13 Friday 2p seminar on circ and blcoks at ai
05-14 Sat Sun, MIT on time-sharing in Cambridge
05-16 kpfa, 7pm, commentary, Philip Maldari, kpfa radio 848-6767
10-5 except fri
cancelled
05-17 Tuesday, AI Qual - Rick Vistnes, David Chelberg, Stuart Russell
9:30am rm. 352
4:30pm, Holiday Inn, Mitch Waldrop
05-19 Thursday, Facilities Committee meeting, 2:30 pm, Chairman's Conf. room.
05-21 to Japan
05-23 and 24, Monday and Tuesday. RIMS anniversary, Kyoto.
05-30 and 06-01, Monday and Tuesday, IBM Symposium "Needs and
trends of mathematical studies in artificial intelligence"
06-02 to 4, Wed to Fri. RIMS open conference on artificial intelligence
06-20 Monday, 11:30 Karl Cohen at China First
11:30 Nilsson and Mazzetti, AAAI office
3pm, Carolyn talk
06-21 Tues. Teller reception and dinner, 6:30 and 7:30, Faculty Club
AI Qual 1 pm Rm. 352.
06-22 Wed, 11:30 Mike Genesereth
1pm Cartwright
06-23 7:30pm, dinner with Catherine Martin Bradley, 2904 Washington
Washington and Divisadero, 921-7667
06-24 Friday noon, Faculty Club, John Perry and Barbara Grosz
bring Ascribing ...
2pm, Carolyn talk
06-27 -29, Mon-Wed, IBM Seminar, San Jose, Lynn Pieron, 855-0855
06-30 Thurs. 1:30-3:00, Facilities committee, 252
am - lab work, get cleaning,
07-01 Rick H-R, Bob Engelmore and Nils lunch this Friday,
July 1, at noon at Alouette (401 Lytton Ave., P.A.)
AAAI too academic?
07-06 Wednesday, Livermore, didn't go.
07-07 11am, Physical, lab 4 days ahead
3pm, Parallelization of LISP, 240 ERL
4pm, Corky
07-08 Fri 12:30, with Golub, Alouette restaurant, re: Nilsson, etc.
F vs. U.
07-09 Saturday, 1:30 for afternoon, Lerman
07-11 9am sharp, Ventura, Strategy session for Thursday
1 pm Facilities Committee Meeting, MJH 252.
07-14 meeting with SDF re Perry-Barwise project
11:30 sherry party
07-14 Friday, 2:15 252, Ann Gardner oral.
07-15 11:30 sat. Tom Alexander, Fortune, at China First
07-19 Tues. 2pm, with Corky about extensional forms
07-21 Thurs. 1:30, Mike about Santa Cruz course
07-25 Monday thru Friday, AI course at Santa Cruz
2:30 tenured faculty
2pm, Vladimir Lifshitz
08-02 Tues, 4pm, Todd Kushner
08-04 Thurs, 1:15, Program Center, steps touching walk around lake lag.
Dan Bershader, 7-2170. AI and space.
08-05 1:55 Golub office to go to see Wessels
3:15 Gorin office on what to do with the money
08-08 to 12 IJCAI, Karlsruhe, details in current event file
IJCAI Panel session on 5th Generation Project
Tuesday, 9 August 1983, 1:30 pm
The Executive Committee will meet from 12 noon to 1:30 pm on Wednesday,
10 August, at the NANCY Restaurant.
08-11 Thurs. 1:30 panel on non-monotonic logic with Minker,
McDermott, Reiter, Moore in honor of Lerner birthday.
Wed. Aug. 10, dinner for AI Journal editorial board
Aug 7 PA72 lv. SFO 8:30am ar. Frankfurt 7:40am on Aug 8.
Aug 16 Frankfurt/NYC/Boston PA67 lv. 11:00am ar. NY 1:20pm
PA532 lv.NY 3:15pm ar. Boston 4:17 pm
Aug 17 Boston/SFO TWA 61 lv. 7:10pm ar. 10:11pm
Discuss Lisp machine purchase an Wieneke salary with RPG.
Discuss electronic library with Alain Colmerauer.
08-15 Erlangen, visit Stoyan
08-16 Tues. 8:30pm, Jimmy's Harbor Side Restaurant, 248 Northern Av. Boston
Fenaughty dinner
08-17 wed, iii board, Boston
08-19 Friday, 3:00pm, on spending ARPA money
Aug 21 UA 58 lv. 1:10pm ar. 9:10 pm
Aug 26 UA 57 lv. 5:35 pm ar. 8:10pm SFO
08-22 to 26, AAAI-83, Washington
Lerner Symposium 7:00PM August 23 (Tuesday).
Wed. 7pm, Executive Committee meeting
Monday-Friday, Washington Hilton, reservation Sunday thru Friday
Thurs, 7:30am, Empire room, AAAI publications committee
Thurs: debate with Schank
Friday, 7:30am at Hilton, editorial board AI Journal
08-30 Tuesday, 11:30, Phillippe Roussel and Chuck Restivo
08-31 Livermore
09-01 12:30 lunch with Elliott at Alouette
09-01 2pm, Leslie Pack about traffic lights
3-5pm,111 Polya, csli colloquium
7:30am, Rickey's, Hurd
11am, Alex Jacobson
09-02 2pm, Chuck Restivo
09-06 thru 09. IBM/Univ. of Newcastle upon Tyne. Seminar on Man -
Machine Interaction. Abstract by April 3.
Sun 9/4 SFO/London PA 124 5:30pm/11:30am next day
Mon 9/5 London/Newcastle BA5454 3:00pm/4:00pm
Fri 9/9 Newcastle/Edinburgh by train (nearly hourly, 1:40 ride)
Sun 9/11 Edinburgh/Amsterdam UK 598 4:30 pm/ 7:25 pm
Sun 9/18 Amsterdam/Paris by car--arrive Mon. a.m.
Mon 9/19 - 27 in Paris -- Bristol Hotel
Tues 9/27 Paris/NYC PA115 12noon/2:50pm
NYC/SFO PA67 4:30pm/7:22pm
09-19 thru 23, IFIP, Paris
my panel, Thursday, Sept. 22, 9:00 - 11:15
09-27 Faculty meeting 1:15 - 3:15 pm Boystown Conference Room.
09-30 Prof Chwa, re Korea Information Science Society talk. Will call first.
10-03 Mon 11 am, rm 252. Facilities Committee Meeting.
10-04 Tue Tenured Faculty meeting 2:30 pm rm 252 MJH
10-05 Wed 11, CS Dept, Rm 252, AAAI electronic library
12:15 lunch with JK and SGF
4 pm Kuo
2pm, Trakhtenbrot, 5 Randall Place, Menlo Park off Oak
325-7539
4pm, Kuo
10-06 4pm Edozien and Pack
10-06 10-10 American Society for Cybernetics Symposium
one symposium, Jack Benson (56) 225-1875 will send invitation
with time and participants. No written paper.
10-07 Friday afternoon, Systems age, Foothill College
10-08 Saturday, late afternoon, Foothill College, panel:
Ethical Imperatives in the World Community of Scientists
Jack Sklansky, UC Irvine, chairman
10-10 Mon 10:30 am. HPP talk, Bruce Delagi
3:45pm Janet Coursey, CS206 student 15 min.
10-11 Dean Gordon Bower is expecting to meet with you from 10:00 to 11:00,
Tuesday, October 11 at "The Deanery".
10-13 Thurs SFO/MIA PA576 1st class 12:10pm/9:28pm
MIA/RIO PA441 Bus. class 10pm/7:05am next day, 10/14
Rio/Sao Paulo -- open
10-17 Mon Sao Paulo/LAX Varig 844 8 pm/8:20am next day (10/18)
10-18 Tue LAX/SFO UA 700 11am/12:08pm confirmed
LAX/SFO UA 1106 10am/11:10am waitlisted
written paper, Informatica-83, Enrique R. Renteria
Sucesu
Av. Paulista, 115Q-14e
01311 Sao Paulo SP Brazil, tel. 55-11 288-9452
Sao Paulo
10-13 Thurs. arrive Rio, spend Friday visit Catholic U. and Federal U.
ibm meeting room,
Saturday, city trip or free time
Sunday to Sao Paulo
10-17 Monday, 400 people, Brazil trip, business class,
Expert systems require common sense
wants c.v., summary and text, 2pm., 4 hours time difference now
10-18 Tue 2:30 pm. "Special meeting" Chairman's conf. room.
Tue 4 pm combined Facilities and Space Committee meeting rm 252.
Wed. 19 Oct 20:00 Midsummer
10-20 or 21, utexas centennial. I must choose topic.
10/20 SFO/Austin Delta 200 3:25/9:55pm
Sat 10/22 Austin/Dallas AA672 1:10pm/2:00pm
Dallas/Chicago AA360 2:51pm/4:59pm
Chicago/Champaigne RU725 6:25pm/7:15pm
Mon 10/24 Champaigne/Chicago RU 758 5:05pm/5:55pm
Chicago/SFO UA 135 6:40pm/9:00pm
10-21 Friday -- meet carpool at 8:10am front of Hyatt to go to conference.
10:15, Some Expert Systems Require Common Sense
19-Oct-83 1320 DFH Travel (Austin/Urbana)
You should take a cab or the courtesy car to
the Hyatt Regency when you arrive in Austin. They
can't pick you up because your flight arrives during
a scheduled dinner. The Univ. of Il. will meet you
at the airport. I have given them the flight info.
23 and 24 Sunday and Monday, U. Ill.
U. of Ill., $500 per day+exp. two days,
expert systems need common sense,
non-technical talk followed by technical elaborations
abstract
Judith Jennings 217 333-6138
seminar on early pm 24th
10-25 Wed-Mon leave for Korea -- tentative flight schedule:
10/26 SFO/LA United 1225 10:30am/11:40am
LA/Seoul KAL 11 2:00pm/6:40pm next day
10/28 your presentation
10/31 Seoul/Tokyo Pan Am 12 3:00 pm/4:55pm
(please note that there has been a schedule change since your
ticket was written)
Tokyo/SFO Pan Am 12 6:45pm/10:30am same day
They will meet you at airport in Seoul. Please use left customs exit
(the one for foreigners). You will be at the Shilla Hotel
10-28 and 10-29, Korean Computer Science Society, 10th annual conf.
Fri and Sat., 60 to 90 minutes, historical review,
+ hope for future, research seminar on Monday.
$750+exp inc. business class
Dr. Kim:(813)974-4184 ofc.,985-5597 home
10-31 Monday, 9am-4. 600 Pennsylvania Ave. SE, Washington.
OTA workshop on AI. They pay expenses.
11-01 Tue Tenured Faculty Meeting, 2:30 pm, room 252 MJH
4:15 Hayek lecture, Stauffer aud., "The origins and effects
of our ethics: A problem of science.
11-02 Wednesday 10:00 am. 252 MJH, on-line library
3pm, Guo
11-03 11am, Dennis Bark
11:45 Cuthbert Hurd, Alouette
Chris Roper, 10am,
11-04 Fri 2:15 pm Daryl Pratt, CS206 student
2:30 pm Henry Stadler, JPL, 213-354-3556 (also will visit Prof.
Bryson that a.m., 497-4755)
11-07 Mon. 2 pm Vistnes AI Qual with Lenat and Buchanan
5:05 to 6:05pm, Tarski memorial meeting, 041
11-09 212 866-5797, Otsuka of Science Asahi, Miss Baba, 9:30am, Wed
Wed 10:30 CIS panel on future software, Ullman and Meindl
e83.in[let,jmc]/282p
2:15, 380Y, CBCL talk
11-10 3:15 pm senate meeting rm. 180, Law school
Thurs. Dinner with Alex Jacobson, Chuck Williamson. 6:15 Alouette
(Toni Thornburg or Sandra Core, 213-417-7997 to change)
11-11 friday 3:30pm, common sense and semantics, Fenstad on
semantics of mass terms
12:30 to 5pm, mind and action
11-15 Tuesday 2:30pm (note the earlier time). --kk
Building 170 conference room (that's on the History corner of the quad).
11-16 wed iii board
San Jose/Los Angeles Western 508 8:20 am/9:25am
Los Angeles/San Jose PSA 561 5:00pm/6:01pm
20:00 guarneri (tresidder)
TINLUNCH Hayes vol. 2
11-17 Dinner Dantzig
2:30 pm meeting of Search Committee for Dept. Chairman, probably in
Knuth's office.
11-18 Livermore (remember to ask about form) (call about new badge)
(call about prints)
8pm Kronos
11-19 Saturday, Inference, L.A.
San Jose/LAX PSA264 9:05am/10:07am (next flight about 11am)
LAX/San Jose PSA561 5:00pm/6:01pm (next earlier flight at 2:30pm)
Chuck Williams will meet you at upper level of PSA at airport.
11-21 Monday, 10:30 AAAI library, cancelled
11-22 Tues. Talk at seminar on History and Philosophy of Brain Function
4:30-5:30pm, Fairchild D-202, Tina Seelig 7-6455
11-23 Wed, noon, lunch with Nils Nilsson, Pear Williams
dinner with logicians
Thu. 1 Dec 20:00 Duchesse
12-02 10am thru 04, Fri, Sat and Sun, Pournelle meeting - didn't go
12-05 2 pm Bob Givan, CS206 student
Monday, dinner Burstall
12-06 Weekly National Security Affairs Luncheon
Tenured Faculty Meeting, 2:30 pm, room 252 MJH
4:30 Fred Warshofsky, 203 227-1786 till Sunday
5:00 Matt Ginsberg
12-07 Wed, 2:15-3:30, Knuth, design of programming languages
12-08 Thu. 19:30 Boris
Senate meeting 3:15
12-09 Friday, Knowledge Seminar, IBM, 10am
12-12 3pm Ruzena Bajcsy
12-13 Tues. National Security Affairs Luncheon
12-14 Wed. Inference Corp. Board Meeting 1pm-6pm
SJC/LAX PSA264 9:05am/10:07am
LAX/SJC PSA465 7:10pm/8:13pm
12-16 and 17, Fri and Sat, Brooklyn College symposium
12/15 SFO/JFK PA6 11:00am/7:05pm
12/17 JFK/SFO PA49 7:30pm/10:30pm (your talk is at 4:20 12/17)
Friday night, 6:30 dinner with Chudnovsky's
Amsterdam and 120th
423 West 120th St., Apt. 88
home: 864-5320, work 280-3950
12-20 Tues., 4:30 -6:30, AAAI Christmas party
12-21 Wed. 12, Barwise at Faculty club
01-01 to 07. Paris/Centre Mondial
Jan 1 SFO/JFK PA 72 8:30am/4:40pm
JFK/Paris PA 114 6:45/7:35 +1
Jan 7 Paris/JFK PA 115 1pm/3:05pm
JFK/SFO PA 67 4:30pm/7:22pm
01-07 thru 21, Physics of Computation Workshop, Drake's Anchorage
Beverly Howell, Workshop Coordinator 412 578-2572, [didn't go]
01-09 Monday, dinner with people from Ferranti - cancelled
01-10 Faculty Meeting on Tuesday, Jan. 10, from 2:30 - 4:00 pm. It
01-11 Wed, lunch with Mike Genesereth
01-12 Thu. Science-Labor Committee, Washington, D.C.?
11am, Kirkland office
Tentative flights Wed 1/11 UA58 2:15pm/10pm SFO/Wash(Dulles)
Thur 1/12 UA57 5:30 pm/8:20 pm
Senate meeting 3:15 pm
01-13 Friday, 3:30 Leslie Pack
4:30 pm Gene in Chmn. Conf. Room.
01-16 Monday, 4pm Vladimir Lifschitz
11am, Alice
12 security affairs lunch, population
01-17 Tuesday, 2pm, Guo
5pm, Alice
3pm Alice
01-18 Wed 4pm, Leslie Pack
01-20 Friday, 3pm, CSLI. Formalization of common sense knowledge
4:30 with Golub
01-23 Monday, 2:30 electronic library
01-24 Tuesd, Inference Board 1pm,L.A.
Flights reserved: SJ/LAX OC352 11:15am/12:21pm (note changed flight)
LAX/SJ OC521 7:05pm/8:12pm
01-25 dinner, Richard and Yasuko
noon, Mike Genesereth and Claudia Mazzetti at Alouette
01-26 Thurs. 5pm, Kay Mills, L.A. Times, 213 972-7940
(on Wed, Lewenstein, Marian, 328-5031)
01-27 Friday 2pm, IBM on knowledge, 256-4701,
255-3372, "halpern.ibm-sj"@rand-relay
01-30 Monday, 3:30 next year's AI courses, mjh 301
01-31 9:30 C1 seminar on semantics of programming languages
11 Kingsley Davis chez lui, 308 Hoover
02-01 Wed, 2:30 Dan Joraanstad of Prentice-Hall 364-6666
02-02 Thurs. 1:30, Inference SAB
Flights reserved: SJ/LAX PSA264 9:05am/10:07am
LAX/SJ OC521 7:05pm/8:12pm
Sun. 5 Feb 19:30 Pippin Smetana - Two Widows
10+, Richard Solomon and his videotape
12 Senior faculty
1:15pm, lunch with Manuck, Mazzetti and Genesereth
Claudia, Mike and Richard, 1:15, Theo's, 521 University
3:00 Howard Gardner, psych Harv. 617 495-4342
Forum buffet, Faculty club 6pm
02-07 Tuesday, 7-8:30pm, SWOPSI on military funded research,
Matt Nicodemus, 321-8861 home, 853-9166, 324-4320 messages
call him to confirm
Pat Devaney, Von Eshelman, Robert Mosely (slac), John Harris
jmc, Terry Winograd
(action: research project will end up publishing something)
(op ed: 57 char lines double space, up to 1000 words)
(title: Why the academic community should help solve defense problems).
(by feb 1) (Matt Nicodemus in philosophy)
Plate Tectonics 8pm, Skilling
Wednesday lunch, 10:45 - 12 Carolyn, CERAS, Tressider
7:30pm, dinner with Selfridge
02-08 &09 Annual Computer Forum meeting
02-09 1:15 ventura, csli education committee, John Perry
3:15 pm Senate meeting
7pm, here, dinner for Kuos
02-10 10am, Knowledge seminar at IBM, Fagin and Halpern
9:30 xerox, Lenat show and tell
02-11 12 noon, lunch chez Norm Howard, 70 Edge, Atherton
1:15 ekl demo, 352
02-13 2pm, Kenneth Flamm, 202 797-6037 Brookins history of tehc
02-17 Fri 12 noon faculty club lunch with Zohar's visitors from NEC
Carolyn Tajnai will bring them to your office about 11:50
charge to his faculty club acct. no. 1510
3pm "The Circumscription Mode of Nonmonotonic Reasoning"
Sun. 19 Feb 19:30 Pippin Nicolai - The Merry Wives of Windsor
02-21 Tue. III Planning Committee
San Jose/LAX 8:20am/9:25 am Western 766
02-22 Wed. III Board
LAX/San Jose 4:50pm/5:53pm PSA 463
02-23 noon Thurs. Sr. Fac.
Thurs., Feb. 23 Computer Science Seminar
3:00 P.M. A COMPARISON OF AUTOMATED OFFICE ENVIRONMENTS,
Auditorium A PERSONAL CASE HISTORY
\bboard/107p/35l, phone host in advance
4:30 Leslie Pack
Sun. 26 Feb 19:30 Pippin Weber - Der Freischutz - we forgot it.
02-29 Wed. 3pm, McCullough, c/o Linvill 7-2930
4:15 Martin Davis
02-28 Tues thru 03/05 Monday, Diana on vacation
03-01 Thurs. 12 noon, faculty club, Colin Mick, 857-1122 and 856-3666
4:15 csli colloq. Pat Hayes, dinner 7p hsi nan
siglunch, Tom Mitchell, room 51b
03-02 Friday, March 2 "Formalization of Knowledge and Belief"
03-03 11am, Saturday, Kreisel, my office: bungled and missed it
03-05 4:30, Monday, Kreisel, my office
03-06 Tues. 11:15, Inference SAB, here postponed
7pm, KCSM TV, Holly Murray (58)574-6233. I backed out
to avoid a dry fuss speaking last.. also 574-6584
03-07 lunch with High Tech. Barbara Glynn 321-1081, Jane Mitchell
admin. Eustis Mendis, Chief Scie. Ontario Science Center
High Tech. Science Center, MacArthur Park, 11:45
03-08 Thurs. 11, Susie, Essays
3:15 Faculty Senate
Mark Stickel, Prolog Technology theorem prover
Thursday, March 8, 1984 4:00 pm
Hewlett Packard
Stanford Division
5M Conference room
1501 Page Mill Rd
Palo Alto
10am, 130HHMB, Charles Wolf of Rand on Soviet Empire, lunch after
03-09 Friday, "Philosophical Conclusions Arising from AI Work"
03-11 and 12, Virginia staying at our house
Sun. 11 Mar 19:30 Pippin Schubert - The Conspirators
03-14 Wed. Inference Board, 11am - didn't go
03-14 Wed. AA264 SFO/Dallas 3:55pm/9pm
Thurs AA389 Dallas/SFO 6:45pm/8:26pm
03-15 thurs. TI, Dallas, 2 talks, general CRL colloquium
physicists too, also AI group
Harry Tennant, 214 995-0337
3pm, 1 hour
Sheraton Park Central, 12720 Merit Drive, March 14
Lunch with TOB
03-16 2:30pm, 574-6233, Holly Murray, KCSM
03-19 Monday eve. Kaplan, Quine, Kripke, msg.msg[jnk,jmc]/244p
Veronica Dahl proposes 19th thru 23rd
4pm, Ben Grosof
11am, UCB - George Bealer msg.msg[jnk,jmc]/314p
03-20 Tuesday, 2:30-4:30 MJH 252 for Search committee meeting
03-22 Thurs. lunch with Elliott at Faculty Club
03-23 Friday, 11:15. Fagin at IBM looks interesting
3pm, Grosof
4pm, Lamping
Bill Stuckey, 849-4784 or 848-8385, 5pm
03-24 2pm, LLW party, msg.msg[1,jmc]/388p
03-26 Monday, 4pm, Kennedy reception for Mitterrand
evening, Knuth party for Tsichritzis
03-27 tues 3p, Colin Mick
SPECIAL COLLOQUIUM -- Tuesday, March 27, 1984, 4:15 pm, Jordan 040.
Prof.\ Dennis Tsichritzis, University of Toronto.
`Office Filing and Office Mailing'
03-29 Thurs. 2pm, with Rob Schreiber about ai on comp. your office
03-30 Fri 11 Lamping
04-02 Monday, 6pm Faculty Club, Hoover National Fellows dinner
2pm, Jim Hieronymus
2:30 senior faculty
1984
04-03 Tues, fac. lunch, meeting at 2:30
Albert Chang, IBM Yorktown, VLSI Seminar, Tuesday, April 3 1:15 pm
PLEASE NOTE: Seminar will be held in Bio-T Building (Herrin Labs) Room
175.
04-04 Wed. with Miro and David at Hudson Inst.?
4/4 SFO/JFK PA 72 9:00am/5:10pm, 7:07
4/7 JFK/SFO PA 67 4:30pm/7:22 pm
Doral Inn behind Waldorf-Astoria, Lex & 50th
04-05 and 6, Thursday and Fri, Symbolic manipulation, Courant Inst.
Doral Inn, 49th st. and Lexington, 755-1200, (Mr. Fisher)
guaranteed later arrival Wed. night
04-09 probably Veronica
3pm, Werner Svendsen, Danish TV, 202 376-7210 USIA, Don McDonough
(he will be here a little early to set up lights)
The Search Committee will meet with Nils Nilsson Monday, April, 9
from 2:00 to 3:00 in room 220 (Chairman's conference room).
Knuth dinner for Nilsson
04-10 III planning committee meeting, 10 am
04-11 Wed., Non-monotonic reasoning. "Who is doing what in non-monotonic
reading.
04-13 Friday, 10am, Inference SAB, L.A.
between Friday and Saturday
04-14 midnight to 2am, debate with Prof. R. Mosely about "military
research at universities". Either at studios in L.A. or
by phone. Also questions from listeners.
Ray Briem (pronounced breem) show, 213 557-7376 or -7358
Greg Hardison, 3321 S, La Cienega Blvd., L.A. 90016
9-22bad, tail end is ok,
04-22 Sunday, 2pm, L-5 meeting
04-25 Wed. Reiter in non-monotonic seminar
Goguen, Initiality Primer
04-26 Thurs. 5pm, Gene Lawler 57 642-4019, (277 Corey Hall, 5:10pm), 591 Evans
parking permit at E. Gate, NE corner of Campus.
Social consequences of the design of interactive programs.
04-30 thru 05-04, Fundamentals of Artificial Intelligence
UCLA
05-01 DEADLINE for abstract for non-monotonic conference
05-07 Senior Center, Palo Alto, 450 Bryant St. 327-2811, Derwood Baker
2 to 3pm
05-09 Sigma Xi initiation, Ken Arrow speaker
05-16 Wed. III Board
06-11 thru 15, W.G. 2.2, Endicott House, M.I.T., Jack Dennis 617 253-6856
Nonimperative Languages and implementation concepts
Modifying programs without reading them. Perhaps also CBCL.
07-02 to 6 July, Logic Programming in Uppsala, panel invite from Sten-Ake
08-15 Wed. III Board
11-21 Wed. III Board
01-12 and 13, sat and sun, 1985, ASL in Anaheim, one hour lecture